Bilinear Functions and Trees over the (max, +) Semiring
نویسندگان
چکیده
We consider the iterates of bilinear functions over the semiring (max,+). Equivalently, our object of study can be viewed as recognizable tree series over the semiring (max,+). In this semiring, a fundamental result associates the asymptotic behaviour of the iterates of a linear function with the maximal average weight of the circuits in a graph naturally associated with the function. Here we provide an analog for the ‘iterates’ of bilinear functions. We also give a triple recognizing the formal power series of the worst case behaviour. Remark. Due to space limitations, the proofs have been omitted. A full version can be obtained from the authors on request.
منابع مشابه
Rational Series over Dioids and Discrete Event Systems
We survey the different kinds of rational series which arise in the study of Discrete Event Systems (DES) and of certain related Markov Decision Processes. The use of rational series over fields is classical, e.g. as transfer functions, generating series of finite Markov chains, skew Ore series in Difference and Differential Algebra, commutative multivariable series for linear PDE with constant...
متن کاملTropical linear algebra with the Łukasiewicz T-norm
The max-Łukasiewicz semiring is defined as the unit interval [0, 1] equipped with the arithmetics “a + b” = max(a, b) and “ab” = max(0, a + b− 1). Linear algebra over this semiring can be developed in the usual way. We observe that any problem of the max-Łukasiewicz linear algebra can be equivalently formulated as a problem of the tropical (max-plus) linear algebra. Based on this equivalence, w...
متن کاملRational Semimodules over the Max-plus Semiring and Geometric Approach of Discrete Event Systems
We introduce rational semimodules over semirings whose addition is idempotent, like the max-plus semiring. We say that a subsemimodule of the free semimodule Sn over a semiring S is rational if it has a generating family that is a rational subset of Sn, Sn being thought of as a monoid under the entrywise product. We show that for various semirings of max-plus type whose elements are integers, r...
متن کاملRational semimodules over the max-plus semiring and geometric approach to discrete event systems
We introduce rational semimodules over semirings whose addition is idempotent, like the max-plus semiring, in order to extend the geometric approach of linear control to discrete event systems. We say that a subsemimodule of the free semimodule Sn over a semiring S is rational if it has a generating family that is a rational subset of Sn, Sn being thought of as a monoid under the entrywise prod...
متن کاملComparison of Max-Plus Automata and Joint Spectral Radius of Tropical Matrices
Weighted automata over the tropical semiring Zmax = (Z ∪ {−∞},max,+) are closely related to finitely generated semigroups of matrices over Zmax. In this paper, we use results in automata theory to study two quantities associated with sets of matrices: the joint spectral radius and the ultimate rank. We prove that these two quantities are not computable over the tropical semiring, i.e. there is ...
متن کامل